back to areas     |     expand all areas     |     Click on an area to expand it    |      Idea totals are in red.

---

Expansion for Theory of Logic

		1051	1.	Philosophy
		623	2.	Reason
		626	3.	Truth
		784	4.	Formal Logic

---

	1242	5.	Theory of Logic
		A.	Overview of Logic
	34	1.	Overview of Logic
	15	2.	History of Logic
	23	3.	Value of Logic
	18	4.	Pure Logic
	23	5.	First-Order Logic
	27	6.	Classical Logic
	33	7.	Second-Order Logic
	8	8.	Logic of Mathematics
	2	9.	Philosophical Logic
		B.	Logical Consequence
	28	1.	Logical Consequence
	6	2.	Types of Consequence
	7	3.	Deductive Consequence |-
	16	4.	Semantic Consequence |=
	9	5.	Modus Ponens
	2	6.	Entailment
	5	7.	Strict Implication
	7	8.	Material Implication
		C.	Ontology of Logic
	22	1.	Ontology of Logic
	5	2.	Platonism in Logic
	13	3.	If-Thenism
	8	4.	Logic by Convention
		D.	Assumptions for Logic
	18	1.	Bivalence
	28	2.	Excluded Middle
	5	3.	Contradiction
	16	4.	Identity in Logic
		E.	Structures of Logic
	36	1.	Logical Form
	31	2.	Logical Connectives	a.	Logical connectives
	3			b.	Basic connectives
	13			c.	not
	7			d.	and
	8			e.	or
	2	3.	Constants in Logic
	19	4.	Variables in Logic
	13	5.	Functions in Logic
	11	6.	Relations in Logic
	6	7.	Predicates in Logic
	9	8.	Theories in Logic
		F.	Referring in Logic
	32	1.	Naming	a.	Names
	33			b.	Names as descriptive
	22			c.	Names as referential
	16			d.	Singular terms
	13			e.	Empty names
	6			f.	Names eliminated
	4	2.	Descriptions	a.	Descriptions
	21			b.	Definite descriptions
	25			c.	Theory of definite descriptions
	5	3.	Property (λ-) Abstraction
		G.	Quantification
	23	1.	Quantification
	16	2.	Domain of Quantification
	9	3.	Objectual Quantification
	23	4.	Substitutional Quantification
	11	5.	Second-Order Quantification
	24	6.	Plural Quantification
	9	7.	Unorthodox Quantification
		H.	Proof Systems
	4	1.	Proof Systems
	7	2.	Axiomatic Proof
	7	3.	Proof from Assumptions
	14	4.	Natural Deduction
	8	5.	Tableau Proof
	5	6.	Sequent Calculi
		I.	Semantics of Logic
	23	1.	Semantics of Logic
	6	2.	Formal Truth
	24	3.	Logical Truth
	12	4.	Satisfaction
	5	5.	Extensionalism
	4	6.	Intensionalism
		J.	Model Theory in Logic
	35	1.	Logical Models
	13	2.	Isomorphisms
	24	3.	Löwenheim-Skolem Theorems
		K.	Features of Logics
	31	1.	Axiomatisation
	10	2.	Consistency
	12	3.	Soundness
	14	4.	Completeness
	10	5.	Incompleteness
	17	6.	Compactness
	7	7.	Decidability
	10	8.	Enumerability
	2	9.	Expressibility
	6	10.	Monotonicity
		L.	Paradox
	5	1.	Paradox
	21	2.	Aporiai
	9	3.	Antinomies
	9	4.	Paradoxes in Logic	a.	Achilles paradox
	1			b.	König's paradox
	4			c.	Berry's paradox
	2			d.	Richard's paradox
	2			e.	The Lottery paradox
	4	5.	Paradoxes in Set Theory	a.	Set theory paradoxes
	2			b.	Cantor's paradox
	5			c.	Burali-Forti's paradox
	7			d.	Russell's paradox
	2			e.	Mirimanoff's paradox
	19	6.	Paradoxes in Language	a.	The Liar paradox
	6			b.	The Heap paradox ('Sorites')
	2			c.	Grelling's paradox
	1			d.	The Preface paradox
	3	7.	Paradoxes of Time

---

		1188	6.	Mathematics
		1041	7.	Existence
		881	8.	Modes of Existence
		1528	9.	Objects
		799	10.	Modality
		484	11.	Knowledge Aims
		711	12.	Knowledge Sources
		633	13.	Knowledge Criteria
		674	14.	Science
		546	15.	Nature of Minds
		492	16.	Persons
		495	17.	Mind and Body
		857	18.	Thought
		835	19.	Language
		312	20.	Action
		264	21.	Aesthetics
		960	22.	Metaethics
		987	23.	Ethics
		912	24.	Political Theory
		750	25.	Social Practice
		992	26.	Natural Theory
		713	27.	Natural Reality
		428	28.	God
		296	29.	Religion